-
1 collection of formulas
Большой англо-русский и русско-английский словарь > collection of formulas
-
2 collection of formulas
Математика: совокупность формулУниверсальный англо-русский словарь > collection of formulas
-
3 collection of formulas
мат.English-Russian scientific dictionary > collection of formulas
-
4 collection
1) коллекция; собрание; совокупность, набор2) сбор, накопление, собирание• -
5 Book of the Dead (Ancient Egyptian collection of mortuary texts made up of spells or magic formulas, placed in tombs and believed to protect and aid the deceased in the hereafter)
Религия: "Книга мёртвых"Универсальный англо-русский словарь > Book of the Dead (Ancient Egyptian collection of mortuary texts made up of spells or magic formulas, placed in tombs and believed to protect and aid the deceased in the hereafter)
-
6 Coffin Texts (Collection of ancient Egyptian funerary texts consisting of spells or magic formulas)
Религия: "Тексты саркофагов"Универсальный англо-русский словарь > Coffin Texts (Collection of ancient Egyptian funerary texts consisting of spells or magic formulas)
-
7 совокупность формул
Большой англо-русский и русско-английский словарь > совокупность формул
-
8 Book of the Dead
Религия: (Ancient Egyptian collection of mortuary texts made up of spells or magic formulas, placed in tombs and believed to protect and aid the deceased in the hereafter) "Книга мёртвых" -
9 Coffin Texts
Религия: (Collection of ancient Egyptian funerary texts consisting of spells or magic formulas) "Тексты саркофагов" -
10 formula
1) рецепт2) формула || формульный3) формулировка•- arithmetically valid formula - back interpolation formula - computational formula - computing formula - corrector formula - formally decidable formula - formally refutable formula - formula of finite increments - geometrically valid formula - homomorphically stable formula - identically false formula - identically true formula - intuitionistically valid formula - logically valid formula - maximum likelihood formula - modally valid formula - monotonically increasing formula - numeralwise expressible formula - numeralwise representable formula - positively valid formula - primitively recursive formula - reciprocity formula - secondarily valid formula - square stable formula - universally valid formulato follow the formula — подчиняться [следовать] формуле; описываться формулой
См. также в других словарях:
Viète's formulas — For Viète s formula for computing pi;, see that article. In mathematics, more specifically in algebra, Viète s formulas, named after François Viète, are formulas which relate the coefficients of a polynomial to signed sums and products of its… … Wikipedia
Original proof of Gödel's completeness theorem — The proof of Gödel s completeness theorem given by Kurt Gödel in his doctoral dissertation of 1929 (and a rewritten version of the dissertation, published as an article in 1930) is not easy to read today; it uses concepts and formalism that are… … Wikipedia
Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… … Wikipedia
Formulary — A collection of formulas, recipes, and prescriptions. The National Formulary is published by the American Pharmaceutical Association every 5 years and gives the composition, description, method of preparation, and dosage for drugs. The British… … Medical dictionary
Gödel's completeness theorem — is a fundamental theorem in mathematical logic that establishes a correspondence between semantic truth and syntactic provability in first order logic. It was first proved by Kurt Gödel in 1929. A first order formula is called logically valid if… … Wikipedia
Euler–Mascheroni constant — Euler s constant redirects here. For the base of the natural logarithm, e ≈ 2.718..., see e (mathematical constant). The area of the blue region is equal to the Euler–Mascheroni constant. List of numbers – Irrational and suspected irrational… … Wikipedia
Markov logic network — A Markov logic network (or MLN) is a probabilistic logic which applies the ideas of a Markov network to first order logic, enabling uncertain inference. Markov logic networks generalize first order logic, in the sense that, in a certain limit,… … Wikipedia
Constante de Euler-Mascheroni — La constante de Euler Mascheroni, (también conocida como constante de Euler ) es una constante matemática que aparece principalmente en teoría de números, y se denota con la letra griega minúscula γ (Gamma). Se define como el límite de la… … Wikipedia Español
for|mu|lar|y — «FR myuh LEHR ee», noun, plural lar|ies, adjective. –n. 1. a collection of formulas. 2. a set form of words; formula. 3. Pharmacy. a book of formulas for standard preparations used in medicines. –adj. having to do with formulas … Useful english dictionary
Fritz Oberhettinger — (* 24. Februar 1911 in Gelsenkirchen Buer; † 2. Juni 1993 in Seal Rock, Oregon) war ein deutsch US amerikanischer Mathematiker, bekannt für Tafelwerke über spezielle Funktionen. Oberhettinger machte 1936 in Breslau sein Staatsexamen und… … Deutsch Wikipedia
formularies — n. collection of formulas; formula; book of forms or formulas (especially religious rituals) for·mu·lar·y || fÉ”rmjÉ™lerɪ / fÉ”ËmjÊŠlÉ™rɪ … English contemporary dictionary